#include <stdio.h>

void hello(int i) {
  printf("Hello C: %d\n", i);
}

